// JavaScript Document
TOOLS.getLocalTime=function (timestamp,chinese){
    if (!timestamp){
		var date=new Date()
        datetime = date.toLocaleString()+":"+date.getMilliseconds();
    }else{
        datetime = new Date(parseInt(timestamp)*1000).toLocaleString();
    }
    if (!chinese){
        return datetime.replace(/年|月/g, '-').replace(/日/g, '');
    }
    return datetime;
}
//-----